\documentclass[letterpaper]{article}
\usepackage{aaai16}
\usepackage[table]{xcolor}
\usepackage{graphicx}
\usepackage{amssymb}
\usepackage{hyperref}
\usepackage[vlined,ruled,linesnumbered]{algorithm2e}
\usepackage{algpseudocode}
\usepackage{float}
\usepackage{tikz}
\usepackage{color}
\usepackage{calc}
\usepackage{times}
\usepackage{helvet}
\usepackage{courier}
\usetikzlibrary{automata, positioning}
\frenchspacing
\setlength{\pdfpagewidth}{8.5in}
\setlength{\pdfpageheight}{11in}
\pdfinfo{
/Title (Insert Your Title Here)
/Author (a,b,c,d)}
\setcounter{secnumdepth}{0}
 \begin{document}
% The file aaai.sty is the style file for AAAI Press
% proceedings, working notes, and technical reports.
%
\title{Formatting Instructions test \\for Authors Using test \LaTeX{}}
\author{AAAI Press_1\\
Association for the Advancement of Artificial Intelligence\\
1.2275 East Bayshore Road, Suite 160\\
Palo Alto, California 94303\\
}
\maketitle

\input{macro}

% \title{Computing backbone variables using approximations}

%\author{Yueling Zhang
%\and Min Zhang
%\and Fu Song
%\and Geguang Pu
}

% (feature abused for this document to repeat the title also on left hand pages)

% the affiliations are given next; don't give your e-mail address
% unless you accept that it will be published
%\institute{Computer Science and Software Engineering Institute, East China Normal University,\\
%North Zhongshan Rd. 3663, 200062 Shanghai, China\\
%yueling671231@163.com\\
%\{ mzhang, fsong, ggpu\}@sei.ecnu.edu.cn\\}

\begin{abstract}
Backbone Variables are widely used in random SAT solving, all-sat computing and SAT based model checking. In this paper, we propose several novel approaches to finding backbone variables using modern SAT solvers and approximations.
Experiments show the efficiency of the approaches using satisfiable instances from SAT Comp.2015. Moreover, compared with state-of-the-art approach proposed in 2014, our approaches has obvious advantages.
\end{abstract}
\input {intr.tex}
\input {prel.tex}
\input {walg.tex}
% \input {app.tex}
\input {expr.tex}
\input {conc.tex}

\bibliographystyle{plain}
\bibliography{bib}

\end{document}
